退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:建筑约束规范的一系列语言
Chouki Tibermacine; Régis Fleurquin; Salah Sadou C;
机译:一系列用于体系结构约束规范的语言
机译:势在必行与陈述约束规范语言:受控实验
机译:DSCWeaver:到过程过程规范语言的同步约束方面扩展
机译:使用对象约束语言的基于角色的授权约束规范
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:水稻形态发生与植物结构:3D建筑模型的测量规范和结构发展的重建
机译:以图形规范和约束语言开发程序
机译:图形规范和约束语言,用于开发用于硬件实现和使用的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。